Stationary Statistical Properties of Rayleigh-Bénard Convection at Large Prandtl Number

This is the third in a series of our study of Rayleigh-Bénard convection at large Prandtl number. Here we investigate whether stationary statistical properties of the Boussinesq system for Rayleigh-Bénard convection at large Prandtl number are related to those of the infinite Prandtl number model for convection that is formally derived from the Boussinesq system via setting the Prandtl number to infinity. We study asymptotic behavior of stationary statistical solutions, or invariant measures, to the Boussinesq system for Rayleigh-Bénard convection at large Prandtl number. In particular, we show that the invariant measures of the Boussinesq system for Rayleigh-Bénard convection converge to those of the infinite Prandtl number model for convection as the Prandtl number approaches infinity. We also show that the Nusselt number for the Boussinesq system (a specific statistical property of the system) is asymptotically bounded by the Nusselt number of the infinite Prandtl number model for convection at large Prandtl number. We discover that the Nusselt numbers are saturated by ergodic invariant measures. Moreover, we derive a new upper bound on the Nusselt number for the Boussinesq system at large Prandtl number of the form